Serdar Tasiran: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Checking Cache-Coherence Protocols with TLA+

Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark Tuttle, Yuan Yu

Journal:

Formal Methods in System Design

Year:

2003

Language:

english

File:

PDF, 55 KB

english, 2003

2

Model checking boot code from AWS data centers

Cook, Byron, Khazem, Kareem, Kroening, Daniel, Tasiran, Serdar, Tautschnig, Michael, Tuttle, Mark R.

Journal:

Formal Methods in System Design

Year:

2020

File:

PDF, 538 KB

2020

3

TreeJuxtaposer

Munzner, Tamara, Guimbretière, François, Tasiran, Serdar, Zhang, Li, Zhou, Yunhong

Journal:

ACM Transactions on Graphics

Year:

2003

Language:

english

File:

PDF, 1.03 MB

english, 2003

4

VyrdMC: Driving Runtime Refinement Checking with Model Checkers

Tayfun Elmas, Serdar Tasiran

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 349 KB

english, 2006

5

[Lecture Notes in Computer Science] Computer Aided Verification Volume 11562 (31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II) || Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement

Dillig, Isil, Tasiran, Serdar

Year:

2019

Language:

english

File:

PDF, 532 KB

english, 2019

6

[Lecture Notes in Computer Science] Runtime Verification Volume 7687 || Scalable Dynamic Partial Order Reduction

Qadeer, Shaz, Tasiran, Serdar

Year:

2013

Language:

english

File:

PDF, 274 KB

english, 2013

7

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Goldilocks

Elmas, Tayfun, Qadeer, Shaz, Tasiran, Serdar

Year:

2007

Language:

english

File:

PDF, 321 KB

english, 2007

8

[ACM Press the Ninth European Conference - Amsterdam, The Netherlands (2014.04.14-2014.04.16)] Proceedings of the Ninth European Conference on Computer Systems - EuroSys '14 - T-Rex

Kestor, Gokcen, Unsal, Osman S., Cristal, Adrian, Tasiran, Serdar

Year:

2014

Language:

english

File:

PDF, 281 KB

english, 2014

9

Runtime Refinement Checking of Concurrent Data Structures

Serdar Tasiran, Shaz Qadeer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 265 KB

english, 2005

10

Location pairs: a test coverage metric for shared-memory concurrent programs

Serdar Tasiran, M. Erkan Keremoğlu, Kivanç Muşlu

Journal:

Empirical Software Engineering

Year:

2012

Language:

english

File:

PDF, 950 KB

english, 2012

11

[Lecture Notes in Computer Science] Computer Aided Verification Volume 11562 (31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II) ||

Dillig, Isil, Tasiran, Serdar

Year:

2019

Language:

english

File:

PDF, 19.73 MB

english, 2019

12

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - A calculus of atomic actions

Elmas, Tayfun, Qadeer, Shaz, Tasiran, Serdar

Year:

2008

Language:

english

File:

PDF, 314 KB

english, 2008

13

[ACM Press the 2015 10th Joint Meeting - Bergamo, Italy (2015.08.30-2015.09.04)] Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 - Detecting JavaScript races that matter

Mutlu, Erdal, Tasiran, Serdar, Livshits, Benjamin

Year:

2015

Language:

english

File:

PDF, 1.93 MB

english, 2015

14

[ACM Press Proceeding of the 2006 workshop - Portland, Maine, USA (2006.07.17-2006.07.17)] Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging - PADTAD '06 - A classification of concurrency bugs in java benchmarks by developer intent

Keremoglu, M. Erkan, Tasiran, Serdar, Elmas, Tayfun

Year:

2006

Language:

english

File:

PDF, 72 KB

english, 2006

15

[Lecture Notes in Computer Science] Computer Aided Verification Volume 11561 (31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I) || Automated Hypersafety Verification

Dillig, Isil, Tasiran, Serdar

Year:

2019

Language:

english

File:

PDF, 614 KB

english, 2019

16

[Lecture Notes in Computer Science] Computer Aided Verification Volume 11562 (31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II) || Gradual Consistency Checking

Dillig, Isil, Tasiran, Serdar

Year:

2019

Language:

english

File:

PDF, 924 KB

english, 2019

17

[Lecture Notes in Computer Science] Computer Aided Verification Volume 11562 (31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II) || Loop Summarization with Rational Vector Addition Systems

Dillig, Isil, Tasiran, Serdar

Year:

2019

Language:

english

File:

PDF, 543 KB

english, 2019

18

[Lecture Notes in Computer Science] Computer Aided Verification Volume 11562 (31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II) || Incremental Determinization for Quantifier Elimination and Functional Synthesis

Dillig, Isil, Tasiran, Serdar

Year:

2019

Language:

english

File:

PDF, 380 KB

english, 2019

19

[Lecture Notes in Computer Science] Computer Aided Verification Volume 11562 (31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II) || Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems

Dillig, Isil, Tasiran, Serdar

Year:

2019

Language:

english

File:

PDF, 574 KB

english, 2019

20

[Lecture Notes in Computer Science] Computer Aided Verification Volume 11562 (31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II) || Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement

Dillig, Isil, Tasiran, Serdar

Year:

2019

File:

PDF, 532 KB

2019

21

[Lecture Notes in Computer Science] Computer Aided Verification Volume 11561 (31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I) ||

Dillig, Isil, Tasiran, Serdar

Year:

2019

Language:

english

File:

PDF, 24.28 MB

english, 2019

22

An assume-guarantee rule for checking simulation

Henzinger, Thomas A., Qadeer, Shaz, Rajamani, Sriram K., Tasiran, Serdar

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2002

Language:

english

File:

PDF, 173 KB

english, 2002

23

Goldilocks

Elmas, Tayfun, Qadeer, Shaz, Tasiran, Serdar

Journal:

Communications of the ACM

Year:

2010

Language:

english

File:

PDF, 370 KB

english, 2010

24

VYRD

Elmas, Tayfun, Tasiran, Serdar, Qadeer, Shaz

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 668 KB

english, 2005

25

[ACM Press the 2005 ACM SIGPLAN conference - Chicago, IL, USA (2005.06.12-2005.06.15)] Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI '05 - VYRD

Elmas, Tayfun, Tasiran, Serdar, Qadeer, Shaz

Year:

2005

Language:

english

File:

PDF, 668 KB

english, 2005

26

Output nondeterminism detection for programming models combining dataflow with shared memory

Matar, Hassan Salehe, Mutlu, Erdal, Tasiran, Serdar, Unat, Didem

Journal:

Parallel Computing

Year:

2018

Language:

english

File:

PDF, 1.06 MB

english, 2018

27

Runtime verification of concurrency-specific correctness criteria

Shaz Qadeer, Serdar Tasiran

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 570 KB

english, 2012

28

[ACM Press the Workshop - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the Workshop on Dynamic Languages and Applications - Dyla'14 - I Know It When I See It

Mutlu, Erdal, Tasiran, Serdar, Livshits, Benjamin

Year:

2014

Language:

english

File:

PDF, 1.22 MB

english, 2014

29

[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - BDD variable ordering for interacting finite state machines

Aziz, Adnan, Taşiran, Serdar, Brayton, Robert K.

Year:

1994

Language:

english

File:

PDF, 128 KB

english, 1994

30

[Lecture Notes in Computer Science] Runtime Verification Volume 7687 || Path-Aware Time-Triggered Runtime Verification

Qadeer, Shaz, Tasiran, Serdar

Year:

2013

Language:

english

File:

PDF, 469 KB

english, 2013

31

[Lecture Notes in Computer Science] Runtime Verification Volume 7687 || Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic

Qadeer, Shaz, Tasiran, Serdar

Year:

2013

Language:

english

File:

PDF, 283 KB

english, 2013

32

[ACM Press the 7th Workshop - Chicago, Illinois (2009.07.19-2009.07.20)] Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 - An annotation assistant for interactive debugging of programs with common synchronization idioms

Elmas, Tayfun, Sezgin, Ali, Tasiran, Serdar, Qadeer, Shaz

Year:

2009

Language:

english

File:

PDF, 166 KB

english, 2009

33

[ACM Press the First Workshop - Amsterdam, The Netherlands (2014.04.13-2014.04.13)] Proceedings of the First Workshop on Principles and Practice of Eventual Consistency - PaPEC '14 - Towards verifying eventually consistent applications

Ozkan, Burcu Kulahcioglu, Mutlu, Erdal, Tasiran, Serdar

Year:

2014

Language:

english

File:

PDF, 157 KB

english, 2014

34

[ACM Press the 2014 International SPIN Symposium - San Jose, CA, USA (2014.07.21-2014.07.23)] Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 - Exploiting synchronization in the analysis of shared-memory asynchronous programs

Emmi, Michael, Ozkan, Burcu Kulahcioglu, Tasiran, Serdar

Year:

2014

Language:

english

File:

PDF, 524 KB

english, 2014

35

[Lecture Notes in Computer Science] Computer Aided Verification Volume 11562 (31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II) || Communication-Closed Asynchronous Protocols

Dillig, Isil, Tasiran, Serdar

Year:

2019

Language:

english

File:

PDF, 1.27 MB

english, 2019

36

[Lecture Notes in Computer Science] Runtime Verification Volume 4839 || From Runtime Verification to Evolvable Systems

Sokolsky, Oleg, Taşıran, Serdar

Year:

2007

Language:

english

File:

PDF, 497 KB

english, 2007

37

[Lecture Notes in Computer Science] Runtime Verification Volume 4839 || Statistical Runtime Checking of Probabilistic Properties

Sokolsky, Oleg, Taşıran, Serdar

Year:

2007

Language:

english

File:

PDF, 500 KB

english, 2007

38

[ACM Press ACM SIGGRAPH 2003 Papers - San Diego, California (2003.07.27-2003.07.31)] ACM SIGGRAPH 2003 Papers on - SIGGRAPH '03 - TreeJuxtaposer

Munzner, Tamara, Guimbretière, François, Tasiran, Serdar, Zhang, Li, Zhou, Yunhong

Year:

2003

Language:

english

File:

PDF, 1.03 MB

english, 2003

39

TRADE

Kestor, Gokcen, Unsal, Osman S., Cristal, Adrian, Tasiran, Serdar

Journal:

ACM Transactions on Parallel Computing

Year:

2015

Language:

english

File:

PDF, 528 KB

english, 2015

40

[Lecture Notes in Computer Science] Runtime Verification Volume 7687 ||

Qadeer, Shaz, Tasiran, Serdar

Year:

2013

Language:

english

File:

PDF, 5.87 MB

english, 2013

41

[Lecture Notes in Computer Science] Runtime Verification Volume 7687 || Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications

Qadeer, Shaz, Tasiran, Serdar

Year:

2013

Language:

english

File:

PDF, 40 KB

english, 2013

42

A mechanized refinement proof of the Chase–Lev deque using a proof system

Mutluergil, Suha Orhun, Tasiran, Serdar

Journal:

Year:

2018

Language:

english

File:

PDF, 617 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски